Developing Agent Interaction Protocols with Pralu
نویسندگان
چکیده
The purpose of the paper is to explore the possibility of applying existing formal theories of description and design of distributed and concurrent systems to interaction protocols for real-time multi-agent systems. In particular it is shown how the language PRALU, proposed for description of parallel logical control algorithms and rooted in the Petri net formalism, can be used for the modeling of complex concurrent conversations between agents in a multi-agent system. It is demonstrated with a known example of English auction on how to specify an agent interaction protocol using considered means.
منابع مشابه
Developing Agent Interaction Protocols Using Graphical and Logical Methodologies
Although interaction protocols are often part of multi-agent infrastructures, many of the published protocols are semiformal, vague or contain errors. Formal presentations can counter such disadvantages since they are amenable to verification of correctness. On the other hand, a diagrammatic representation of system structure is easier to comprehend. To this end, this paper bridges the gap betw...
متن کاملIntegrating Interaction Protocols and Internet Protocols for Agent-Mediated E-Commerce
Conversations involving three or more agents often occur in multi-agent systems, for example in brokering and auction protocols typically used in e-commerce. For developing agents in open systems, it is important that the interactions in such conversations have a precise and unambiguous meaning. We address this issue by generalising a protocolbased semantic framework for expressing the semantic...
متن کاملGoal-Oriented Interaction Protocols
Developing agent applications is a complex and difficult task due to a variety of reasons. One key aspect making multi-agent systems more complicated than traditional applications is that interaction behavior is based on elaborate communication forms such as negotiations instead of simple method calls. Aimed at facilitating the specification and usage of agent communication, agent research resu...
متن کاملAn agent-based approach to flexible commerce in intermediary-centric electronic markets
The growth of electronic-markets (e-markets) necessitates the processing of many commerce protocols (processes). Each protocol handles different messages and flows of transactions among customers, merchants and intermediaries. Developing applications for each commerce protocol is costly and impractical. Accordingly, developing a flexible model of Internet commerce to support various commerce pr...
متن کاملInteraction Protocols in Multi-Agent Systems based on Agent Petri Nets Model
this paper deals with the modeling of interaction between agents in Multi Agents System (MAS) based on Agent Petri Nets (APN). Our models are created based on communicating agents. Indeed, an agent initiating a conversation with other can specify the interaction protocol wishes to follow. The combination of APN and FIPA Protocols schemes leads to a set of deployment formal rules for points wher...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006